large logics